An Overview of Separation Logic
نویسنده
چکیده
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of program verification for imperative programs using shared mutable data structures or sharedmemory concurrency.
منابع مشابه
Supported Liquid Membrane in Metal Ion Separation: An Overview
Using liquid membrane and, in particular, supported liquid membrane (SLM) is a novel method of separation in comparison to other methods such as adsorption, extraction and ion exchange. SLM is a combination of simultaneous extraction and disposal whose high efciency and capability is proven by many studies. So far, many researchers have utilized SLM in various scientifc...
متن کاملAn Overview of Fabrication Methods and Applications of Carbon Nanotube Membrane in Environmental Engineering as Hydraulic Microstructures
The main purpose of this article is to study fabrication methods and applications of aligned carbon nanotube (CNT) membranes as a hydraulic microstructure in treatment processes. This paper emphasizes the use of CNTs as membrane in separation processes like water and wastewater treatment because of their exclusive advantages. Their most important characteristics are high mechanical strength aga...
متن کاملChapter 1 An Overview
Separation logic is a novel system for reasoning about imperative programs. It extends Hoare logic with enriched assertions that can describe the separation of storage and other resources concisely. The original goal of the logic was to facilitate reasoning about shared mutable data structures, i.e., structures where updatable fields can be referenced from more than one point. More recently, th...
متن کاملSelective Mass Transport of CO2 Containing Mixtures through Zeolite Membranes
In this work, the main aspects regarding the permeation of mixtures containing CO2 and permanent gases such as H2 , N2 and CH4 through zeolite membranes have been investigated, focusing on the description of the mass transport mechanisms taking place inside the pores. First, a brief overview about the performance of the main zeolite membranes used in gas separation (e.g. DDR, CHA, AEI, FAU, etc...
متن کاملSeparation of concerns in AJAX-based web applications - a brief overview about the current situation
AJAX became one of the major topics in the last year. It is often mentioned together with the “web 2.0” concept but is actually independent of it. In this short article, a summary of experiences with AJAX is given. This article concentrates on the situation in web applications that are using AJAX and how they support the separation of business logic and design (i.e. view).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005